Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("Model theory")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Origin

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 700

  • Page / 28
Export

Selection :

  • and

On the possible number no(M)=the number of nonisomorphic models L∞,λ-equivalent to M of power λ, for λ singularSHELAH, S.Notre Dame journal of formal logic. 1985, Vol 26, Num 1, pp 36-50, issn 0029-4527Article

Finitely generic models of TUH, for certain model companionable theories TPOINT, F.The Journal of symbolic logic. 1985, Vol 50, Num 3, pp 604-610, issn 0022-4812Article

On the number of independent partitionsTSUBOI, A.The Journal of symbolic logic. 1985, Vol 50, Num 3, pp 809-814, issn 0022-4812Article

Model theorie of modulesZIEGLER, M.Annals of pure and applied logic. 1984, Vol 26, Num 2, pp 149-213, issn 0168-0072Article

Model theory for L∞ω1FRIEDMAN, D.Annals of pure and applied logic. 1984, Vol 26, Num 2, pp 103-122, issn 0168-0072Article

Additive structure in uncountable models for a fixed completion of PKNIGHT, J. F.The Journal of symbolic logic. 1983, Vol 48, Num 3, pp 623-628, issn 0022-4812Article

Some model theory of modules. I: On total transcendence of modulesROTHMALER, P.The Journal of symbolic logic. 1983, Vol 48, Num 3, pp 570-574, issn 0022-4812Article

Disturbing arithmeticGRILLIOT, T. J.The Journal of symbolic logic. 1985, Vol 50, Num 2, pp 375-379, issn 0022-4812Article

Why some people are excited by Vaught's conjectureLASCAR, D.The Journal of symbolic logic. 1985, Vol 50, Num 4, pp 973-982, issn 0022-4812Article

Classification theory for non-elementary classes I: the number of uncountable models of Ψ∈Lω1,ω. Part BSHELAH, S.Israel Journal of Mathematics. 1983, Vol 46, Num 4, pp 241-273, issn 0021-2172Article

On the nonaxiomatizability of some logics by finitely many schemasSHELAH, S; STEINHORN, C.Notre Dame journal of formal logic. 1986, Vol 27, Num 1, pp 1-11, issn 0029-4527Article

An AD-like modelAPTER, A. W.The Journal of symbolic logic. 1985, Vol 50, Num 2, pp 531-543, issn 0022-4812Article

Model theory under the axiom of determinatenessSPECTOR, M.The Journal of symbolic logic. 1985, Vol 50, Num 3, pp 773-780, issn 0022-4812Article

Strongly majorizable functionals of finite type: a model for barrecursion containing discontinuous functionalsBEZEM, M.The Journal of symbolic logic. 1985, Vol 50, Num 3, pp 652-660, issn 0022-4812Article

Algebraic theories with definable skolem functionsVAN DEN DRIES, L.The Journal of symbolic logic. 1984, Vol 49, Num 2, pp 625-629, issn 0022-4812Article

Categoricity and ranksSAFFE, J.The Journal of symbolic logic. 1984, Vol 49, Num 4, pp 1379-1392, issn 0022-4812Article

Simplified morasses with linear limitsVELLEMAN, D.The Journal of symbolic logic. 1984, Vol 49, Num 4, pp 1001-1021, issn 0022-4812Article

Model-complete theories of formally real fields and formally p-adic fieldsWHEELER, W. H.The Journal of symbolic logic. 1973, Vol 48, Num 4, pp 1130-1139, issn 0022-4812Article

χo-categorical, χo-stable structuresCHERLIN, G; HARRINGTON, L; LACHLAN, A. H et al.Annals of pure and applied logic. 1985, Vol 28, Num 2, pp 103-135, issn 0168-0072Article

Some model theory of modules. III: On infiniteness of sets definable in modulesROTHMALER, P.The Journal of symbolic logic. 1984, Vol 49, Num 1, pp 32-46, issn 0022-4812Article

Espaces ultramétriques = Ultrametric spacesDELON, F.The Journal of symbolic logic. 1984, Vol 49, Num 2, pp 405-424, issn 0022-4812Article

Inconsistent models for relevant arithmeticsMEYER, R. K; MORTENSEN, C.The Journal of symbolic logic. 1984, Vol 49, Num 3, pp 917-929, issn 0022-4812Article

A new omitting types theoremSTEINHORN, C.Proceedings of the American Mathematical Society. 1983, Vol 89, Num 3, pp 480-486, issn 0002-9939Article

Model-complete theories of e-free Ax fieldsJARDEN, M; WHEELER, W. H.The Journal of symbolic logic. 1973, Vol 48, Num 4, pp 1125-1129, issn 0022-4812Article

Locally finite generalized quadrangles with at most five points per lineCHERLIN, Gregory.Discrete mathematics. 2005, Vol 291, Num 1-3, pp 73-79, issn 0012-365X, 7 p.Article

  • Page / 28